Abstract structure - PDFSEARCH.IO - Document Search Engine

Abstract structure
Results: 1322

#	Item
711	Theory and Applications of Categories, Vol. 28, No. 3, 2013, pp. 66–122. DUALITY FOR DISTRIBUTIVE SPACES DIRK HOFMANN Abstract. The main source of inspiration for the present paper is the work of R. Rosebrugh and R.J. Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-01-28 11:57:00 Structure Adjoint functors Sheaf Functor Filter Complete Heyting algebra Continuous function Metric space Cartesian closed category Mathematics Topology Order theory
712	Contents Preface Chapter 0. Review of Semisimple Lie Algebras xv Add to Reading List Source URL: www.ams.org Language: English - Date: 2008-05-16 14:10:38 Representation theory Homological algebra Lie algebras Tilting theory Kazhdan–Lusztig polynomial Verma module Jantzen filtration Hodge structure Von Neumann algebra Abstract algebra Algebra Representation theory of Lie algebras
713	Belief in Information Flow Michael R. Clarkson Andrew C. Myers Fred B. Schneider Department of Computer Science Cornell University {clarkson,andru,fbs}@cs.cornell.edu Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-01-31 11:41:18 Symbol Model theory Independence Structure Measure Logic Probability theory Statistical dependence Mathematics
714	Theory and Applications of Categories, Vol. 28, No. 11, 2013, pp. 269–303. HOMOTOPY THEORIES OF DIAGRAMS J.F. JARDINE Abstract. Suppose that S is a space. There is an injective and a projective model structure for the Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-05-16 13:05:00 Mathematics Category theory Algebraic topology Model category Simplicial set Quillen adjunction Weak equivalence Homotopy category Kan fibration Homotopy theory Topology Abstract algebra
715	Local theory extensions, hierarchical reasoning and applications to verification – Preliminary Report – Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E 1.4, Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2007-11-29 05:23:51 Model theory Functions and mappings Metalogic Function Boolean satisfiability problem Structure Sheaf Field Linear temporal logic Mathematics Abstract algebra Mathematical logic
716	Detecting and Matching Repeated Patterns for Automatic Geo-tagging in Urban Environments Grant Schindler1 , Panchapagesan Krishnamurthy1 , Roberto Lublinerman2 , Yanxi Liu2 , Frank Dellaert1 1 Georgia Institute of Techno Add to Reading List Source URL: www.ri.cmu.edu Language: English - Date: 2008-12-02 20:27:06 Group theory Symmetry Mineralogy Computer vision Lattice Wallpaper group Space group Symmetry group Crystal structure Abstract algebra Crystallography Geometry
717	SISTERHOOD AND TONAL SCALING* Caroline Fe´ry & Hubert Truckenbrodt Abstract. This paper discusses central aspects of the effects of hierarchical structure on tonal scaling in intonation. The core results of a number of Add to Reading List Source URL: www.zas.gwz-berlin.de Language: English - Date: 2012-02-25 18:53:33 Tone Phonetics Upstep Downstep
718	Theory and Applications of Categories, Vol. 26, No. 11, 2012, pp. 304–330. THE COALGEBRAIC STRUCTURE OF CELL COMPLEXES THOMAS ATHORNE Abstract. The relative cell complexes with respect to a generating set of cofibrati Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-06-13 11:12:00 Homotopy theory Algebraic topology Limit Universal property Diagram Adjoint functors Functor Cone Coproduct Abstract algebra Category theory Topology
719	GROUP OBJECT STRUCTURE AND STATE ESTIMATION IN THE PRESENCE OF MEASUREMENT ORIGIN UNCERTAINTY Lyudmila Mihaylova and Amadou Gning Lancaster University, Dept. of Communication Systems, InfoLab21, Lancaster LA1 4WA, UK Ema Add to Reading List Source URL: eprints.lancs.ac.uk Language: English - Date: 2011-01-27 18:31:22 Graph theory Logarithms Graph Connectivity Kalman filter Heat equation Mathematics Abstract algebra Group actions
720	C:/temp/oopsla11/oopsla044-tripp.dvi Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2012-02-08 02:18:46 Dependence analysis Structure Mathematics Mathematical logic Symbol Parallel computing Abstract data type

UPDATE